System programming - PDFSEARCH.IO - Document Search Engine

System programming
Results: 6665

#	Item
861	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-06 02:50:50 Procedural programming languages Data types Type theory Assert.h Operand C Assertion Operator Type system Software engineering Computing Computer programming
862	Microsoft Word - Role16.doc Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2006-03-21 09:31:20 Software development Knowledge Formal methods Cybernetics System Systems science Abstraction Model checking Complexity Science Computing Programming paradigms
863	TinyOS Programming Philip Levis and David Gay July 16, 2009 ii Add to Reading List Source URL: csl.stanford.edu Language: English - Date: 2009-07-16 15:07:59 TinyOS NesC Object-oriented programming Interface Embedded system Communications protocol Header file Computing Computer programming Software engineering
864	Advanced Macrology and the Implementation of Typed Scheme Ryan Culpepper Sam Tobin-Hochstadt Matthew Flatt Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:42 Functional languages Transformation languages Procedural programming languages Cross-platform software Data types Hygienic macro Racket Scheme Type system Computing Software engineering Computer programming
865	Internship report : Extending M LF with Higher-Order Types Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 10:51:56 Programming language theory Curry–Howard correspondence Lambda calculus System F Binding Type inference Simply typed lambda calculus Type system Polymorphism Type theory Software engineering Theoretical computer science
866	Draft submitted for publication at ICFPSafe Zero-cost Coercions for Haskell Joachim Breitner Richard A. Eisenberg Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-07-21 09:41:27 Data types Type theory ALGOL 68 Type system Symbol Orbifold Programming language theory Software engineering Computing
867	HIMA: A Hypervisor-Based Integrity Measurement Agent Ahmed M. Azab, Peng Ning, Emre C. Sezer North Carolina State University {amazab, pning, ecsezer}@ncsu.edu Add to Reading List Source URL: discovery.csc.ncsu.edu Language: English - Date: 2011-11-09 13:25:58 Virtual machines Programming language implementation Hyper-V Kernel Hypervisor Ring Rootkit Xen Memory management unit System software Software Central processing unit
868	ADVANCED COMPUTATIONAL TOOLS FOR COMPUTER-AIDED CONTROL SYSTEM DESIGN (CACSD) Tutorial Workshop organized by Add to Reading List Source URL: www.icm.tu-bs.de Language: English - Date: 2005-04-02 13:55:28 Array programming languages MATLAB Scilab Numerical analysis Mathematical optimization Mathematica Mathematical software Software Science
869	Learning and doing scalac transformations the easy way: via unparsing c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia December 16th , 2010 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-01-07 02:34:06 Data types Type theory C++ Method Java platform Scala Constructor C++ classes Type system Computing Software engineering Computer programming
870	Xi Graphics, Inc. DMX for Wall Displays? (on UNIX/Linux platforms) In July of 2001, Kevin E. Martin, David H. Dawes, and Rickard E. Faith presented a document that "...covers the motivation, background, design, and imple Add to Reading List Source URL: www.xig.com Language: English - Date: 2013-02-15 17:28:09 OpenGL Freedesktop.org Application programming interfaces Graphics hardware X Window System Xinerama Video wall Graphics processing unit Video card Software Computing System software

UPDATE